Crash Course On Probabilistically Checkable Proofs ...